$\forall$$L$:Top List. map($\lambda$$x$.$x$;$L$) $\sim$ $L$